Abstract logic

Results: 1693



#Item
31

Computational Law The Cop in the Backseat Michael Genesereth CodeX: The Center for Legal Informatics Stanford University Abstract: Computational Law is that branch of legal informatics concerned with the mechanization

Add to Reading List

Source URL: logic.stanford.edu

Language: English - Date: 2017-03-06 14:45:06
    32

    Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

    Add to Reading List

    Source URL: www.cis.upenn.edu

    Language: English - Date: 2014-11-11 14:34:56
      33

      On the Parameterised Intractability of Monadic Second-Order Logic Stephan Kreutzer ⋆ Oxford University Computing Laboratory, Abstract. One of Courcelle’s celebrated results states that if C

      Add to Reading List

      Source URL: logic.las.tu-berlin.de

      Language: English - Date: 2015-06-17 12:07:41
        34

        Verificationism and classical realizability Abstract This paper investigates the question of whether Krivine’s classical realizability can provide a verificationist interpretation of classical logic. We argue that thi

        Add to Reading List

        Source URL: www.irif.fr

        Language: English - Date: 2016-01-28 05:10:04
          35

          Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

          Add to Reading List

          Source URL: hrilab.tufts.edu

          Language: English - Date: 2017-08-21 16:50:42
            36

            Knowledge and Effect: A Logic for Reasoning about Confidentiality and Integrity Guarantees (Extended Abstract) Scott Moore Harvard SEAS

            Add to Reading List

            Source URL: software.imdea.org

            Language: English - Date: 2015-07-09 06:40:16
              37

              Work Assignments for “Modal Logics” lectures L. Caires Abstract I suggest two alternative topics. One is related to an application of modal logic to objectoriented program analysis, while the other investigates the d

              Add to Reading List

              Source URL: www2.imm.dtu.dk

              Language: English - Date: 2006-08-25 03:35:46
                38

                Lower Bounds for the Complexity of Monadic Second-Order Logic Stephan Kreutzer University of Oxford Abstract—Courcelle’s famous theorem from 1990 states that

                Add to Reading List

                Source URL: logic.las.tu-berlin.de

                Language: English - Date: 2015-06-17 12:07:42
                  39

                  The Natural Selection of Conservative Science Cailin O’Connor Department of Logic and Philosophy of Science University of California, Irvine Abstract

                  Add to Reading List

                  Source URL: cailinoconnor.com

                  Language: English - Date: 2017-12-15 17:44:05
                    40

                    Toward Probabilistic Natural Logic for Syllogistic Reasoning Fangzhou Zhai, Jakub Szymanik and Ivan Titov Institute for Logic, Language and Computation, University of Amsterdam Abstract Natural language contains an abund

                    Add to Reading List

                    Source URL: jakubszymanik.com

                    Language: English - Date: 2015-12-03 09:03:42
                      UPDATE